$\forall$$n$, $i$:$\mathbb{N}$. ($i$ $\in$ upto($n$)) $\Leftrightarrow$ $i$$<$$n$